Herbrand base

英 美

网络  埃尔布朗基; 海尔勃朗基

计算机

双语例句

  1. A member of the Herbrand base is called atom in automatic theorem proving.
    在自动定理证明中，海尔勃朗基的成员也称为原子。
点击展开全文

考试分类

行业分类

柯林斯词典词频分级词汇

其他分类